Verifying Normative Behaviour via Normative Mechanism Design
نویسندگان
چکیده
The environment is an essential component of multi-agent systems and is often used to coordinate the behaviour of individual agents. Recently many languages have been proposed to specify and implement multi-agent environments in terms of social and normative concepts. In this paper, we first introduce a formal setting of multi-agent environment which abstracts from concrete specification languages. We extend this formal setting with norms and sanctions and show how concepts from mechanism design can be used to formally analyse and verify whether specific normative behaviours can be enforced (or implemented) if agents follow their subjective preferences. We also consider complexity issues of associated problems.
منابع مشابه
Normative programs and normative mechanism design
The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents. Recently many programming languages have been proposed to facilitate the implementation of such environments. This extended abstract is motivated by the emerging programming languages that are designed to implement environments in terms of normative concepts su...
متن کاملDesigning Normative Behaviour Via Landmarks
In highly regulated environments, where a set of norms defines accepted behaviour, protocols provide a way to reduce complexity by giving direct, step by step guidelines for behaviour, as long as the protocols comply with the norms. In this work we propose a formal framework to design a protocol from a normative specification. In order to be able to connect (descriptive) norms with (operational...
متن کاملOn dissemination mechanism of corporate social responsibility (CSR): Analysis with agent simulation
Corporate Social Responsibility (CSR), such as pro-environmental behaviour and fair trade, is a kind of normative behaviour by private companies to provide a quasi-public good. We study dissemination mechanism of CSR with a multi-agent model in which corporation agents and consumer agents interact with each other. We show that the mechanism to disseminate CSR is a positive feedback between the ...
متن کاملModelling Dynamic Normative Understanding in Agent Societies
Agent-based Modelling appears as a promising analytical tool when it comes to a lasting question: in how far did different institutions affect the social and economic outcomes of societies? Taking an incremental step to address this question, we present a refined approach that combines existing institution representations (the structure) with a norm identification process to systematically ‘gro...
متن کاملNorm Refinement and Design through Inductive Learning
In the physical world, the rules governing behaviour are debugged by observing an outcome that was not intended and the addition of new constraints to prevent the attainment of that outcome. We propose a similar approach to support the incremental development of normative frameworks (also called institutions) and demonstrate how this works through the validation and synthesis of normative rules...
متن کامل